Yahav, Eran: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

code2vec: learning distributed representations of code

Alon, Uri, Zilberstein, Meital, Levy, Omer, Yahav, Eran

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 1.76 MB

english, 2019

2

Verifying safety properties of concurrent heap-manipulating programs

Yahav, Eran, Sagiv, Mooly

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2010

Language:

english

File:

PDF, 1.12 MB

english, 2010

3

[ACM Press the 2016 ACM International Symposium - Amsterdam, Netherlands (2016.11.02-2016.11.04)] Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software - Onward! 2016 - Leveraging a corpus of natural language descriptions for program similarity

Zilberstein, Meital, Yahav, Eran

Year:

2016

Language:

english

File:

PDF, 621 KB

english, 2016

4

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering - ICSE '16 - Cross-supervised synthesis of web-crawlers

Omari, Adi, Shoham, Sharon, Yahav, Eran

Year:

2016

Language:

english

File:

PDF, 597 KB

english, 2016

5

[ACM Press the Twenty-Third International Conference - Williamsburg, VA, USA (2018.03.24-2018.03.28)] Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS '18 - Statistical Reconstruction of Class Hierarchies in Binaries

Katz, Omer, Rinetzky, Noam, Yahav, Eran

Year:

2018

Language:

english

File:

PDF, 1.22 MB

english, 2018

6

[ACM Press the 2013 International Symposium - Lugano, Switzerland (2013.07.15-2013.07.20)] Proceedings of the 2013 International Symposium on Software Testing and Analysis - ISSTA 2013 - Finding rare numerical stability errors in concurrent computations

Chockler, Hana, Even, Karine, Yahav, Eran

Year:

2013

Language:

english

File:

PDF, 573 KB

english, 2013

7

[ACM Press the 35th ACM SIGPLAN Conference - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI '14 - Code completion with statistical language models

Raychev, Veselin, Vechev, Martin, Yahav, Eran

Year:

2013

Language:

english

File:

PDF, 377 KB

english, 2013

8

[ACM Press the 39th ACM SIGPLAN Conference - Philadelphia, PA, USA (2018.06.18-2018.06.22)] Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2018 - A general path-based representation for predicting program properties

Alon, Uri, Zilberstein, Meital, Levy, Omer, Yahav, Eran

Year:

2018

Language:

english

File:

PDF, 1.26 MB

english, 2018

9

[Lecture Notes in Computer Science] Static Analysis Volume 6887 || Program Analysis and Machine Learning: A Win-Win Deal

Year:

2011

Language:

english

File:

PDF, 57 KB

english, 2011

10

Deriving linearizable fine-grained concurrent objects

Vechev, Martin, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 914 KB

english, 2008

11

Correctness-preserving derivation of concurrent garbage collection algorithms

Vechev, Martin T., Yahav, Eran, Bacon, David F.

Journal:

ACM SIGPLAN Notices

Year:

2006

Language:

english

File:

PDF, 245 KB

english, 2006

12

[ACM Press the 33rd ACM SIGPLAN conference - Beijing, China (2012.06.11-2012.06.16)] Proceedings of the 33rd ACM SIGPLAN conference on Programming Language Design and Implementation - PLDI '12 - Scalable and precise dynamic datarace detection for structured parallelism

Raman, Raghavan, Zhao, Jisheng, Sarkar, Vivek, Vechev, Martin, Yahav, Eran

Year:

2012

Language:

english

File:

PDF, 783 KB

english, 2012

13

[ACM Press the 2011 ACM international conference - Portland, Oregon, USA (2011.10.22-2011.10.27)] Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11 - Asynchronous assertions

Aftandilian, Edward E., Guyer, Samuel Z., Vechev, Martin, Yahav, Eran

Year:

2011

Language:

english

File:

PDF, 476 KB

english, 2011

14

Typestate-based semantic code search over partial programs

Mishne, Alon, Shoham, Sharon, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2012

Language:

english

File:

PDF, 1.15 MB

english, 2012

15

Reference-independent wide field fluorescence lifetime measurements using Frequency-Domain (FD) technique based on phase and amplitude crossing point

Yahav, Gilad, Barnoy, Eran, Roth, Nir, Turgeman, Lior, Fixler, Dror

Journal:

Journal of Biophotonics

Year:

2016

Language:

english

File:

PDF, 326 KB

english, 2016

16

[ACM Press the 28th ACM SIGSOFT International Symposium - Beijing, China (2019.07.15-2019.07.19)] Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019 - From typestate verification to interpretable deep models (invited talk abstract)

Yahav, Eran, Fink, Stephen J., Dor, Nurit, Ramalingam, G., Geay, Emmanuel

Year:

2019

File:

PDF, 701 KB

2019

17

Establishing local temporal heap safety properties with applications to compile-time memory management

Ran Shaham, Eran Yahav, Elliot K. Kolodner, Mooly Sagiv

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 370 KB

english, 2005

18

Automatic fine-grain locking using shape properties

Golan-Gueta, Guy, Bronson, Nathan, Aiken, Alex, Ramalingam, G., Sagiv, Mooly, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 993 KB

english, 2011

19

Generating precise and concise procedure summaries

Yorsh, Greta, Yahav, Eran, Chandra, Satish

Journal:

ACM SIGPLAN Notices

Year:

2008

Language:

english

File:

PDF, 420 KB

english, 2008

20

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Concurrent libraries with foresight

Golan-Gueta, Guy, Ramalingam, G., Sagiv, Mooly, Yahav, Eran

Year:

2013

Language:

english

File:

PDF, 1.87 MB

english, 2013

21

[ACM Press Proceeding of the 29th ACM SIGACT-SIGOPS symposium - Zurich, Switzerland (2010.07.25-2010.07.28)] Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '10 - Verifying linearizability with hindsight

O'Hearn, Peter W., Rinetzky, Noam, Vechev, Martin T., Yahav, Eran, Yorsh, Greta

Year:

2010

Language:

english

File:

PDF, 620 KB

english, 2010

22

[ACM Press the 19th ACM SIGPLAN symposium - Orlando, Florida, USA (2014.02.15-2014.02.19)] Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '14 - Practical concurrent binary search trees via logical ordering

Drachsler, Dana, Vechev, Martin, Yahav, Eran

Year:

2014

Language:

english

File:

PDF, 1.20 MB

english, 2014

23

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 8855 ||

Year:

2014

Language:

english

File:

PDF, 5.55 MB

english, 2014

24

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - CGCExplorer

Vechev, Martin T., Yahav, Eran, Bacon, David F., Rinetzky, Noam

Year:

2007

Language:

english

File:

PDF, 284 KB

english, 2007

25

[ACM Press the 2016 ACM International Symposium - Amsterdam, Netherlands (2016.11.02-2016.11.04)] Proceedings of the 2016 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software - Onward! 2016 - Extracting code from programming tutorial videos

Yadid, Shir, Yahav, Eran

Year:

2016

Language:

english

File:

PDF, 1.42 MB

english, 2016

26

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Programming not only by example

Peleg, Hila, Shoham, Sharon, Yahav, Eran

Year:

2018

Language:

english

File:

PDF, 308 KB

english, 2018

27

Abstraction-guided synthesis of synchronization

Vechev, Martin, Yahav, Eran, Yorsh, Greta

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2013

Language:

english

File:

PDF, 982 KB

english, 2013

28

Automatic inference of memory fences

Kuperstein, Michael, Vechev, Martin, Yahav, Eran

Journal:

ACM SIGACT News

Year:

2012

Language:

english

File:

PDF, 568 KB

english, 2012

29

[ACM Press the 19th ACM SIGPLAN symposium - Orlando, Florida, USA (2014.02.15-2014.02.19)] Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming - PPoPP '14 - Automatic semantic locking

Golan-Gueta, Guy, Ramalingam, G., Sagiv, Mooly, Yahav, Eran

Year:

2014

Language:

english

File:

PDF, 455 KB

english, 2014

30

[ACM Press the 2006 international symposium - Portland, Maine, USA (2006.07.17-2006.07.20)] Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06 - Effective typestate verification in the presence of aliasing

Fink, Stephen, Yahav, Eran, Dor, Nurit, Ramalingam, G., Geay, Emmanuel

Year:

2006

Language:

english

File:

PDF, 238 KB

english, 2006

31

[ACM Press the 2008 ACM SIGPLAN conference - Tucson, AZ, USA (2008.06.07-2008.06.13)] Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation - PLDI '08 - Deriving linearizable fine-grained concurrent objects

Vechev, Martin, Yahav, Eran

Year:

2008

Language:

english

File:

PDF, 914 KB

english, 2008

32

[Lecture Notes in Computer Science] Static Analysis Volume 6887 ||

Year:

2011

Language:

english

File:

PDF, 4.64 MB

english, 2011

33

[ACM Press the 23rd ACM SIGPLAN Symposium - Vienna, Austria (2018.02.24-2018.02.28)] Proceedings of the 23rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming - PPoPP '18 - Practical concurrent traversals in search trees

Drachsler-Cohen, Dana, Vechev, Martin, Yahav, Eran

Year:

2018

Language:

english

File:

PDF, 876 KB

english, 2018

34

Asynchronous assertions

Aftandilian, Edward E., Guyer, Samuel Z., Vechev, Martin, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 476 KB

english, 2011

35

[ACM Press the ACM international conference - Tucson, Arizona, USA (2012.10.19-2012.10.26)] Proceedings of the ACM international conference on Object oriented programming systems languages and applications - OOPSLA '12 - Typestate-based semantic code search over partial programs

Mishne, Alon, Shoham, Sharon, Yahav, Eran

Year:

2012

Language:

english

File:

PDF, 1.15 MB

english, 2012

36

Testing atomicity of composed concurrent operations

Shacham, Ohad, Bronson, Nathan, Aiken, Alex, Sagiv, Mooly, Vechev, Martin, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 998 KB

english, 2011

37

Partial-coherence abstractions for relaxed memory models

Kuperstein, Michael, Vechev, Martin, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 931 KB

english, 2011

38

Automatic Scalable Atomicity via Semantic Locking

Golan-Gueta, Guy, Ramalingam, G., Sagiv, Mooly, Yahav, Eran

Journal:

ACM Transactions on Parallel Computing

Year:

2017

Language:

english

File:

PDF, 2.37 MB

english, 2017

39

[ACM Press the 2008 international symposium - Seattle, WA, USA (2008.07.20-2008.07.24)] Proceedings of the 2008 international symposium on Software testing and analysis - ISSTA '08 - Verifying dereference safety via expanding-scope analysis

Loginov, Alexey, Yahav, Eran, Chandra, Satish, Fink, Stephen, Rinetzky, Noam, Nanda, Mangala

Year:

2008

Language:

english

File:

PDF, 433 KB

english, 2008

40

[ACM Press the 2006 ACM SIGPLAN conference - Ottawa, Ontario, Canada (2006.06.11-2006.06.14)] Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06 - Correctness-preserving derivation of concurrent garbage collection algorithms

Vechev, Martin T., Yahav, Eran, Bacon, David F.

Year:

2006

Language:

english

File:

PDF, 245 KB

english, 2006

41

Effective abstractions for verification under relaxed memory models

Dan, Andrei, Meshman, Yuri, Vechev, Martin, Yahav, Eran

Journal:

Computer Languages, Systems & Structures

Year:

2016

Language:

english

File:

PDF, 1.10 MB

english, 2016

42

[ACM Press the 7th international symposium - Tucson, AZ, USA (2008.06.07-2008.06.08)] Proceedings of the 7th international symposium on Memory management - ISMM '08 - The CLOSER

Dillig, Isil, Dillig, Thomas, Yahav, Eran, Chandra, Satish

Year:

2008

Language:

english

File:

PDF, 322 KB

english, 2008

43

Automatic scalable atomicity via semantic locking

Golan-Gueta, Guy, Ramalingam, G., Sagiv, Mooly, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2015

Language:

english

File:

PDF, 926 KB

english, 2015

44

Statistical similarity of binaries

David, Yaniv, Partush, Nimrod, Yahav, Eran

Journal:

ACM SIGPLAN Notices

Year:

2016

Language:

english

File:

PDF, 1.64 MB

english, 2016

45

[ACM Press the 28th ACM SIGSOFT International Symposium - Beijing, China (2019.07.15-2019.07.19)] Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2019 - From typestate verification to interpretable deep models (invited talk abstract)

Yahav, Eran, Fink, Stephen J., Dor, Nurit, Ramalingam, G., Geay, Emmanuel

Year:

2019

Language:

english

File:

PDF, 701 KB

english, 2019

46

Effective typestate verification in the presence of aliasing

Fink, Stephen J., Yahav, Eran, Dor, Nurit, Ramalingam, G., Geay, Emmanuel

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2008

Language:

english

File:

PDF, 609 KB

english, 2008

47

[ACM Press the 37th annual ACM SIGPLAN-SIGACT symposium - Madrid, Spain (2010.01.17-2010.01.23)] Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '10 - Abstraction-guided synthesis of synchronization

Vechev, Martin, Yahav, Eran, Yorsh, Greta

Year:

2010

Language:

english

File:

PDF, 521 KB

english, 2010

48

Symbolic automata for representing big code

Peleg, Hila, Shoham, Sharon, Yahav, Eran, Yang, Hongseok

Journal:

Acta Informatica

Year:

2016

Language:

english

File:

PDF, 990 KB

english, 2016

49

[ACM Press the 38th ACM SIGPLAN Conference - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017 - Similarity of binaries through re-optimization

David, Yaniv, Partush, Nimrod, Yahav, Eran

Year:

2017

Language:

english

File:

PDF, 1.47 MB

english, 2017

50

Automatically Verifying Concurrent Queue Algorithms

Eran Yahav, Mooly Sagiv

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 118 KB

english, 2003

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски